Decision-theoretic harmony: A first step
نویسندگان
چکیده
منابع مشابه
Self-Taught Decision Theoretic Planning with First Order Decision Diagrams
We present a new paradigm for planning by learning, where the planner is given a model of the world and a small set of states of interest, but no indication of optimal actions in these states. The additional information can help focus the planner on regions of the state space that are of interest and lead to improved performance. We demonstrate this idea by introducing novel model-checking redu...
متن کاملFirst Order Decision Diagrams for Decision Theoretic Planning
Compact representations of complex knowledge form the core of solutions to many problems in Artificial Intelligence. Sequential decision making under uncertainty is one such important problem and Decision Theoretic Planning (DTP) has been one of the most successful frameworks for this task. Recent advances in DTP have focused on generating efficient solutions for Relational Markov Decision Proc...
متن کاملDecision-theoretic planning with generalized first-order decision diagrams
Many tasks in AI require representation and manipulation of complex functions. First order decision diagrams (FODD) are a compact knowledge representation expressing functions over relational structures. They represent numerical functions that, when constrained to the Boolean range, use only existential quantification. Previous work has developed a set of operations for composition and for remo...
متن کاملControl theoretic approach to tracking radar: First step towards cognition
Article history: Available online xxxx
متن کاملPrior’s Tonk and Proof-Theoretic Harmony
Arthur Prior’s logical connective “tonk” [3] has given rise to a number of debates on the nature of logical constants, making it compelling to explicate criteria to exclude pathological connectives, such as tonk, from genuine logical constants. In his seminal paper [2], William Lawvere proposed to understand logical constants as adjoint functors, giving rise to the discipline of categorical (or...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2010
ISSN: 0888-613X
DOI: 10.1016/j.ijar.2009.06.014